#!/bin/sh

echo "+++ flush $1"
